formal language أمثلة على

• It is possible to write such programs because the Feynman diagrams constitute a formal language with a formal grammar.
  كان من الممكن برمجة مثل هذه البرامج لأن مخططات فاينمان تكونت من لغة شكلية ذات قواعد شكلية.
• He is most notable for his contributions to several fields of discrete mathematics including formal languages and automata theory.
  اشتهر أرمين بمساهماته في العديد من مجالات الرياضيات المتقطعة بما في ذلك اللغة الشكلية و نظرية التشغيل الذاتي.
• A formula of a formal language is a valid formula if and only if it is true under every possible interpretation of the language.
  تكون صيغة أي لغة رسمية صيغة صحيحة فقط إذا كانت صحيحة تحت كل تفسير ممكن للغة.
• Despite its minimalistic nature, it has become the parental formal language of an implemented and (for entertainment) used programming language called Brainfuck.
  بالرغم من طبيعتها المتطرفة، فقد أصبحت اللغة الأم الرسمية للغة البرمجة المطبقة (للتسلية) والمستخدمة والتي تدعى برين فاك.
• A key property of a formal language is the level of difficulty required to decide whether a given word is in the language.
  أهم خصائص اللغة الرسمية هي مستوى الصعوبة المطلوب لنقرر ما إذا كانت كلمة معينة موجودة في اللغة .
• In some formal language studies, (e.g. AFL theory) a variation on the Kleene star operation called the Kleene plus is used.
  في بعض دراسات اللغة الشكلية، (مثل نظرية أفل) فان الاختلاف على عملية نجمة كلين سميت باسم كلين زائد وتم استخدامها بالفعل.
• A formal language is an abstract structure, but a natural language is not, because its rules of grammar and syntax are open to debate and interpretation.
  تعد اللغة الشكلية بنية مجردة، ولكنها ليست لغة طبيعية، لأن قواعدها النحوية وبناء الجملة مفتوح للنقاش والتفسير.
• This means that every formal language that can be decided by such a machine is a context-sensitive language, and every context-sensitive language can be decided by such a machine.
  هذا يعني أن كل لغة رسمية يمكن وصفها من قبل آلة كتلك ستكون لغة حساسة للسياق، وكل لغة حساسة للسياق يمكن وصفها من قبل آلة كتلك.
• The fundamental task of taking input in one language and producing output in a non-trivially different language can be understood in terms of the core transformational operations of formal language theory.
  يمكن فهم المهمة الأساسية المتمثلة في أخذ المدخلات في لغة واحدة وإنتاج المخرجات بلغة غير مختلفة تمامًا من حيث عمليات النحو التوليدي التحليلي لنظرية اللغة الشكلية.
• One way to measure the power of a computational model is to study the class of formal languages that the model can generate; in such a way is the Chomsky hierarchy of languages is obtained.
  أحد طرق قيا قوة النموذج الحسابي هو بدراسة فئة اللغة الرسمية التي يمكن لهذا النموذج إنتاجها، وبهذه الطريقة تكون هرمية تشومسكي للغات قد تم تحقيقها.
• Many programming languages require garbage collection, either as part of the language specification (for example, Java, C#, D, Go and most scripting languages) or effectively for practical implementation (for example, formal languages like lambda calculus); these are said to be garbage collected languages.
  العديد من لغات البرمجة تتطلب جمع القمامة، إما جزءا من مواصفات اللغة (على سبيل المثال، جافا، سى #، اللغة دى, إنتقل وأكثر لغة البرمجة) أو بشكل فعال للتنفيذ العملي (على سبيل المثال، واللغات الرسمية مثل التفاضل والتكامل لامدا)؛ ويقال إن هذه لتكون القمامة اللغات التي تم جمعها .
• The metalanguage may be a natural language, or it may be partially formalized itself, but it is generally less completely formalized than the formal language component of the formal system under examination, which is then called the object language, that is, the object of the discussion in question.
  ويمكن أن تكون لغة المعرفة أي شيء أكثر من اللغة العادية الطبيعية، أو يمكن أن تكون شكلية بشكل جزئي في حد ذاتها، إلا أنها أقل شكلية من مكون اللغة الشكلية للنظام الشكلي الذي يتم فحصه، ويطلق عليها حينها اسم لغة الهدف، أي هدف المناقشة المشار إليه.